Heyting algebra - PDFSEARCH.IO - Document Search Engine

Heyting algebra
Results: 71

#	Item
31	1 Joseph Muscat 2015 Topological Groups Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2015-03-27 09:58:38 Algebraic structures Lattice theory Semigroup theory Group theory Monoid Residuated lattice Inverse element Group action Heyting algebra Abstract algebra Mathematics Algebra
32	Compactly generated Hausdorff locales Mart´ın Escard´o Version of 17th March 2005 Abstract We say that a Hausdorff locale is compactly generated if it is the colimit of the Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-03-17 12:33:55 Topological spaces Order theory Locally compact space Hausdorff space Compactly generated space Compact space Uniform space Continuous function Complete Heyting algebra Topology General topology Separation axioms
33	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
34	NEW QUICKIE MATCH POINT/Ti MATCH POINT Add to Reading List Source URL: www.sunparts.us Language: English - Date: 2015-02-13 13:02:32 Structure Order theory Complete Heyting algebra Alt.sex.stories
35	NEW QUICKIE ALLCOURT/Ti ALLCOURT Add to Reading List Source URL: www.sunparts.us Language: English - Date: 2015-02-13 13:02:28 Complete Heyting algebra Structure Order theory Alt.sex.stories Newsgroups
36	A Logical Account of Causal and Topological Maps by Emilio Remolina, M.S. Add to Reading List Source URL: ftp.cs.utexas.edu Language: English - Date: 2004-07-25 14:43:51 Conditionals Philosophy of science Secure Shell X Window System Complete Heyting algebra Causal theory Space Software Order theory Causality
37	Theory and Applications of Categories, Vol. 28, No. 3, 2013, pp. 66–122. DUALITY FOR DISTRIBUTIVE SPACES DIRK HOFMANN Abstract. The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-28 11:57:00 Structure Adjoint functors Sheaf Functor Filter Complete Heyting algebra Continuous function Metric space Cartesian closed category Mathematics Topology Order theory
38	Theory and Applications of Categories, Vol. 29, No. 17, 2014, pp. 457–474. EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C- Add to Reading List Source URL: www.emis.de Language: English* - Date: 2014-08-14 09:50:00 Algebraic structures Category theory Order theory Boolean algebra Topology Gelfand representation Equivalence of categories Complete Heyting algebra C*-algebra Abstract algebra Mathematics Algebra
39	Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-24 13:03:00 Order theory Sheaf theory Functor Adjoint functors Initial and terminal objects Grothendieck topology Natural transformation Sheaf Complete Heyting algebra Mathematics Category theory Abstract algebra
40	Theory and Applications of Categories, Vol. 26, No. 6, 2012, pp. 176–193. SYNTACTIC CHARACTERIZATIONS OF PROPERTIES OF CLASSIFYING TOPOSES OLIVIA CARAMELLO Abstract. We give characterizations, for various fragments of Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-03-06 13:54:00 Mathematics Topos Sheaf Grothendieck topology Representation theory Heyting algebra Initial and terminal objects Model theory Category theory Abstract algebra Sheaf theory